right derivation tree